СЕМАНТИЧЕСКИЙ АНАЛИЗ ОПИСАНИЙ СИСТЕМ УПРАВЛЕНИЯ ПРОМЫШЛЕННЫМИ ПРОЦЕССАМИ
НА ОСНОВЕ СТАНДАРТА IEC 61499 С ИСПОЛЬЗОВАНИЕМ ОНТОЛОГИЙ 

Дубинин Виктор Николаевич, кандидат технических наук, доцент, кафедра вычислительной техники, Пензенский государственный университет, victor_n_dubinin@yahoo.com
Вяткин Валерий Владимирович, доктор технических наук, профессор, факультет электронных и компьютерных наук, Оклендский университет (г. Окленд, Новая Зеландия), victor_n_dubinin@yahoo.com 

004.82: 004.4'2 

Представлена Web-онтология систем управления промышленными процессами, построенных в соответствии с новым международным стандартом IEC 61499. Математической основой онтологии являются дескриптивная логика и логика хорновских дизъюнктов, а языками реализации – OWL DL и SWRL. Предлагается метод семантического анализа описаний систем управления на основе определения в онтологии так называемых «семантически правильных» классов. 

Ключевые слова

стандарт IEC 61499, функциональный блок, онтология, семантический анализ, дескриптивная логика, SWRL

 Скачать статью в формате PDF

1. Гаврилова, Т. А. Базы знаний интеллектуальных систем / Т. А. Гаврилова, В. Ф. Хорошевский. – СПб. : Питер, 2000. – 384 с.
2. International Standard IEC 61499. Function blocks for industrial-process measurement and control systems. Part 1: Architecture / International Electrotechnical Commission. – Geneva, 2005. – 111 p.
3. The Description Logic Handbook: Theory, Implementation, and Applications / F. Baader [et al.]. – Cambridge University Press. – 2003. – 574 р.
4. Люггер, Дж. Ф. Искусственный интеллект: стратегии и методы решения сложных проблем : пер. с англ. / Дж. Ф. Люгер. – М. : Изд. дом «Вильямc», 2003. – 864 с.
5. W3C Консорциум. Язык Web-онтологий OWL [Электронный ресурс]. – URL: http://www.w3.org/2004/OWL/.
6. Dubinin, V. Using Prolog for Modelling And Verification of IEC 61499 Function Blocks and Applications / V. Dubinin, V. Vyatkin, H.-M. Hanisch // 11th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2006), Proceedings. – Prague, Czech Republic, 2006. – P. 774–781.
7. SWRL: A Semantic Web Rule Language. W3C Member Submission, 2004. [Электронный ресурс]. – URL: http://www.w3.org/Submission/SWRL/.
8. Motik, В. Query answering for OWL DL with rules / В. Motik, U. Sattler, R. Studer // Journal of Web Semantics. – 2005. – № 3 (1). – P. 41–60.
9. Робототехнические комплексы. Искусственный интеллект. Робототехника и гибкие автоматизированные производства : в 9-ти кн. Кн. 6. Техническая имитация интеллекта : учеб. пособие для втузов / В. М. Назаретов, Д. П. Ким ; под ред. И. М. Макарова. – М. : Высшая школа, 1986. – 144 с.
10. International Standard IEC 61499. Function blocks for industrial-process measurement and control systems. Part 2: Software tool requirements / International Electrotechnical Commission. – Geneva, 2005. –     41 p.
11. Protégé [Электронный ресурс]. – URL: http://protege.stanford.edu.
12. Pellet – an open-source Java OWL DL reasoner [Электронный ресурс]. – URL: http://pellet.owldl.com/.